Recalling Academician Ying-Ming Liu

Tim Magnus 1 , Ying Liu 1 , Graham

One con repair’. *Autho Stem Cell Section, Laboratory of Neurosciences, National Institute on Aging, NIH, 333 Cassell Drive, Room 406A, Baltimore, MD 21224, USA Children’s Research Center of Michigan, The Carman and Ann Adams Department of Pediatrics, Wayne State University School of Medicine, Children’s Hospital of Michigan, Detroit, MI 48201, USA Corporate Research Laboratories, Invitrogen Co...

Ying Liu: Cryptanalysis of an Image Encryption System Based on Cellular Automata

In recent years, much efforts have been made to utilize Cellular Automata, CA, for cryptography due to its intrinsic nature of simple infrastructure and complex behavior. A CA-based image encryption system was presented by Chen et al. in [20-22]. Although it outperforms some traditional cryptosystems in speed and key size, we find that it is defective and vulnerable to chosen-plaintext attack. ...

Ying Tang

Recalling a Witness

type ref t = id:N{witnessed (has_a_t id t)} let has (id:N) (H h _) = match h id with Used _ _ (Untyped _)→⊤ | _→⊥ abstract type uref = id:N{witnessed (has id)}type uref = id:N{witnessed (has id)} To enforce these invariants on state-manipulating operations, we define a preorder rel on heap, that constrains the heap evolution. It states that every Used identifier remains Used; every Typed refere...

1258-1262 Liu LAJP 3264:Liu

1 Department of Pharmacy, Xuzhou Medical College, 84 West Huaihai Road, Xuzhou, 221002, Jiangsu, China 2 Jiangsu Province Key Laboratory of Anesthesiology, Xuzhou Medical College, 84 West Huaihai Road, Xuzhou, Jiangsu 221002, China 3 Environment Protection Research Institute of Xuzhou, Xuzhou, Jiangsu Province, China 4 Department of Anesthesia, Xuzhou Medical College, 84 West Huaihai Road, Xuzh...